g-counter key

:nemesis start-partition

:nemesis start-partition

1 add 0

2 add 1

0 read

3 read

4 read

5 read

6 read

9 add 1

7 add 1

8 add 3

12 add 1

15 read

10 read

11 add 2

18 read

21 read

13 read

14 add 1

24 add 1

27 read

17 add 1

16 add 3

30 add 2

19 add 0

22 read

20 read

33 read

36 read

25 read

23 read

39 read

42 read

28 read

26 read

45 add 4

48 add 4

31 add 3

29 read

51 read

54 read

34 read

32 read

57 read

60 read

37 add 2

35 add 2

63 read

40 read

43 read

38 add 2

66 add 2

69 read

46 read

41 add 4

72 read

75 read

49 read

44 read

78 read

81 add 4

52 read

47 read

84 read

87 read

55 read

90 read

50 add 4

93 read

58 read

53 read

96 read

99 read

61 read

56 add 2

102 add 3

105 read

64 read

59 read

108 add 2

111 add 4

67 read

62 read

114 add 4

117 read

70 read

65 read

120 read

123 add 3

73 add 0

68 add 2

126 add 2

129 read

76 add 1

71 add 4

132 read

135 add 0

79 read

74 read

138 add 0

141 read

82 read

77 add 2

144 add 0

147 add 1

85 read

80 read

150 read

153 read

88 read

83 add 2

156 read

159 read

91 read

86 read

162 read

165 add 0

94 read

89 add 0

168 add 0

171 read

97 add 4

92 read

174 add 4

177 add 4

100 read

95 read

180 read

183 read

103 read

98 add 1

186 read

189 read

106 read

101 read

192 add 2

195 read

109 add 4

104 read

198 read

201 add 2

112 read

107 read

204 read

207 add 3

115 read

110 read

210 add 0

213 read

118 add 2

113 add 4

216 read

219 read

121 read

116 read

222 add 1

225 read

124 add 3

119 add 0

228 read

231 read

127 read

122 read

234 add 0

237 add 2

130 read

125 add 4

240 read

243 read

133 read

128 add 1

246 read

249 read

136 add 4

131 add 2

252 read

255 read

139 add 4

134 add 3

258 read

261 read

142 read

137 read

264 add 4

267 add 3

145 add 1

140 read

270 add 1

273 read

148 add 1

143 read

276 read

279 read

151 read

146 read

282 read

285 read

154 read

149 read

288 read

291 read

157 read

152 read

294 read

297 read

160 read

155 read

300 add 1

303 add 3

163 add 0

158 read

306 read

309 read

166 read

161 read

312 read

315 add 3

169 read

164 read

318 read

321 read

172 read

167 read

324 read

327 read

175 add 2

170 read

330 read

333 read

178 add 4

173 add 3

336 add 0

339 read

181 read

176 read

342 read

345 add 0

184 read

179 read

348 read

351 read

187 read

182 read

354 add 3

357 add 0

190 read

185 read

360 read

363 read

193 add 3

188 read

366 read

369 read

196 read

191 read

372 read

375 add 0

199 read

194 read

378 add 4

381 add 4

202 read

197 add 1

384 read

387 read

205 read

200 read

390 add 2

393 read

208 read

203 read

396 read

399 add 1

211 add 2

206 read

402 read

405 read

209 read

214 read

408 add 2

411 read

217 read

212 read

414 read

417 read

220 read

215 read

420 read

423 read

223 add 4

218 read

426 read

429 read

226 read

221 add 2

432 read

435 add 0

229 add 0

224 read

438 read

441 add 0

232 read

227 add 3

444 read

447 read

235 add 0

230 add 4

450 read

453 add 2

238 read

233 read

456 add 2

241 add 4

236 read

459 read

462 read

465 read

244 read

239 read

468 read

471 read

247 read

242 read

474 read

477 add 0

250 read

245 add 1

480 add 3

483 read

253 add 3

248 add 3

486 read

489 read

256 read

251 add 1

492 add 4

495 add 1

259 read

254 add 1

498 read

262 read

265 read

257 read

501 add 3

504 read

268 read

260 read

507 read

510 add 2

271 read

263 read

513 read

516 read

274 read

266 read

519 read

522 read

277 read

269 read

525 read

528 read

280 read

272 read

531 read

534 add 4

275 read

283 add 4

537 add 2

540 add 4

286 read

278 read

543 read

546 read

289 read

281 read

549 add 3

552 add 1

292 read

284 read

555 read

558 read

295 read

287 read

561 read

564 read

298 read

290 add 2

567 add 3

570 read

301 read

293 add 0

573 read

576 add 1

304 read

296 read

579 add 4

582 read

307 add 1

299 read

585 read

588 add 3

310 add 4

302 read

591 read

594 read

313 read

305 read

597 read

600 add 1

316 read

308 read

603 read

606 add 3

319 read

311 read

609 read

612 add 2

322 add 2

314 add 0

615 read

618 read

325 add 3

317 read

621 add 3

624 read

328 add 4

320 read

627 read

630 add 2

331 add 2

323 read

633 read

636 read

334 read

326 add 1

639 read

642 read

337 read

329 add 2

645 read

648 add 1

340 add 4

332 read

651 read

343 read

346 read

335 read

654 read

657 read

349 read

338 read

660 add 0

663 read

352 read

341 read

666 read

669 add 0

355 read

344 read

672 add 0

675 add 0

358 read

347 add 3

678 read

681 read

361 read

350 add 2

684 add 3

687 read

364 read

353 read

690 add 2

367 read

370 read

356 add 0

693 read

696 add 4

373 read

359 add 4

699 add 3

702 read

376 read

362 add 4

705 read

708 add 0

379 read

365 read

711 read

714 add 2

382 read

368 add 3

717 read

720 read

385 add 4

371 read

723 add 2

726 read

388 read

374 read

729 read

732 read

391 add 0

377 read

735 read

738 add 2

394 read

380 read

741 read

744 add 2

397 read

383 add 2

747 read

750 add 1

400 add 2

386 add 4

753 add 4

403 read

406 read

389 read

756 read

759 add 1

409 read

392 read

762 read

765 read

412 read

395 read

768 read

771 read

415 add 1

398 add 3

774 add 1

777 read

418 read

401 read

780 read

783 add 3

421 add 1

404 read

786 add 3

789 read

424 read

407 add 1

792 read

795 read

427 read

410 read

798 read

801 read

430 add 0

413 read

804 read

807 add 3

433 read

416 add 2

810 add 0

813 add 0

436 add 0

419 read

816 read

439 read

442 read

422 read

819 add 0

822 read

445 read

425 read

825 add 1

828 read

448 read

428 read

831 add 0

834 add 0

451 read

431 read

837 read

454 read

457 add 1

434 read

840 read

843 add 4

460 read

437 add 2

846 read

849 add 4

463 read

440 read

852 add 1

855 read

466 add 1

443 read

858 read

861 read

469 add 4

446 read

864 read

867 read

472 read

449 read

870 add 1

873 read

475 read

452 read

876 read

879 add 0

478 add 1

455 add 3

882 read

885 read

481 add 3

458 read

888 read

891 read

484 add 1

461 read

894 read

897 add 0

487 read

464 add 1

900 read

903 add 1

490 add 0

467 add 1

906 read

909 read

493 read

470 read

912 read

915 add 0

496 read

473 read

918 add 2

921 read

499 read

476 read

924 read

927 add 0

502 add 1

479 add 2

930 read

933 read

505 read

482 read

936 add 4

939 read

508 read

485 read

942 read

945 read

488 read

511 read

948 add 1

951 add 1

514 read

491 add 2

954 read

957 read

517 add 2

494 read

960 add 3

520 add 0

523 read

497 read

963 read

966 read

526 read

500 add 2

969 read

972 read

529 add 0

503 read

975 add 2

978 add 1

532 add 1

506 read

981 read

984 read

535 read

509 read

987 read

990 read

538 read

512 read

993 add 3

996 read

541 read

515 read

999 read

1002 read

544 read

518 read

1005 add 3

1008 add 3

547 read

521 add 2

1011 read

1014 read

550 add 2

524 read

1017 read

1020 read

553 read

527 add 3

1023 read

1026 read

556 add 1

530 add 2

1029 add 4

1032 add 1

559 read

533 read

1035 add 3

1038 add 0

562 add 3

536 read

1041 read

1044 read

565 add 1

539 add 0

1047 read

1050 add 4

568 add 0

542 read

1053 read

1056 read

571 add 4

545 read

1059 read

1062 read

574 add 3

548 read

1065 read

1068 read

577 read

551 add 2

1071 add 2

1074 read

580 read

554 read

1077 add 4

1080 add 2

583 read

557 add 2

586 read

1083 read

589 read

560 read

1086 add 2

1089 read

592 read

563 read

1092 add 0

1095 add 3

595 add 0

1098 add 3

566 add 4

1101 read

598 read

569 read

1104 read

1107 read

601 read

572 read

1110 read

1113 read

604 add 3

575 add 0

1116 read

1119 add 2

607 add 4

578 read

1122 read

:nemesis stop-partition

:nemesis stop-partition

610 read

581 read

1125 read

1128 read

613 add 2

584 add 1

1131 add 2

616 read

619 add 2

587 read

1134 add 3

1137 add 1

622 read

590 add 2

1140 read

1143 add 2

625 add 1

593 read

1146 read

1149 read

628 add 0

596 read

1152 read

1155 add 1

631 read

599 add 0

1158 read

1161 read

634 add 0

602 add 2

1164 read

1167 read

637 read

605 read

1170 add 4

1173 add 0

640 read

608 add 0

1176 read

1179 add 0

643 add 0

611 add 4

1182 read

1185 add 2

646 read

614 read

1188 add 0

1191 read

649 read

617 read

1194 add 3

1197 read

652 read

620 read

1200 read

655 read

658 read

623 read

1203 read

1206 add 2

661 read

626 add 2

1209 add 0

1212 add 4

664 add 1

629 read

1215 add 3

1218 add 3

667 read

632 read

1221 add 3

1224 read

670 read

635 read

1227 read

1230 add 3

673 read

638 read

1233 add 1

1236 add 1

676 add 1

641 add 2

1239 add 2

1242 add 3

679 read

644 read

1245 add 1

1248 read

682 read

647 add 3

1251 add 2

685 add 0

688 read

650 read

1254 add 3

1257 add 1

691 add 1

653 read

1260 add 3

1263 add 2

694 add 2

656 read

1266 read

1269 read

697 add 1

659 read

1272 read

1275 add 1

700 read

662 read

1278 add 2

1281 read

703 add 2

665 read

1284 read

706 read

709 read

668 add 1

1287 add 0

1290 add 2

712 read

671 read

1293 add 4

1296 read

674 add 3

715 add 3

1299 add 4

1302 add 2

718 read

677 read

1305 read

1308 read

721 read

680 read

1311 add 4

1314 read

724 read

683 add 4

1317 read

1320 add 2

727 add 0

686 read

1323 add 3

1326 read

730 read

689 read

1329 read

1332 read

733 read

692 add 2

1335 read

1338 read

736 add 3

695 read

1341 read

1344 read

739 read

698 add 1

1347 add 3

1350 read

742 add 4

701 read

1353 read

1356 read

745 read

704 add 4

1359 add 4

1362 read

748 add 4

707 read

1365 read

1368 read

751 read

710 read

1371 read

1374 read

754 read

713 add 0

1377 add 1

1380 add 0

757 read

716 read

1383 read

1386 read

760 read

719 add 3

1389 read

1392 add 4

763 add 0

722 read

1395 read

766 read

769 read

725 read

1398 add 3

1401 read

772 add 3

728 add 0

1404 read

1407 read

775 read

731 read

1410 read

1413 read

778 read

734 read

1416 add 4

1419 read

781 read

737 read

1422 add 4

1425 read

784 add 3

740 add 4

1428 read

1431 read

787 add 1

743 read

1434 read

1437 read

790 add 1

1440 add 2

746 read

793 read

796 add 0

749 add 2

1443 add 2

1446 read

799 read

752 read

1449 read

1452 read

802 add 2

755 read

1455 add 4

1458 read

805 read

758 read

1461 add 0

1464 read

808 add 2

761 read

1467 add 1

1470 read

811 add 1

764 read

1473 add 2

1476 read

814 add 1

767 read

1479 read

1482 add 0

817 read

770 read

1485 read

1488 read

820 read

773 read

1491 read

1494 read

823 read

776 read

1497 read

1500 read

826 read

779 read

1503 read

1506 read

829 read

782 read

1509 read

1512 read

832 read

785 add 0

1515 read

1518 add 4

835 read

788 read

1521 read

1524 read

838 read

791 read

1527 read

1530 read

841 read

794 read

1533 read

1536 read

844 read

797 add 4

1539 read

1542 read

847 read

800 add 4

1545 read

1548 read

850 read

803 read

1551 read

1554 add 3

853 read

806 add 0

1557 add 0

1560 read

856 add 4

809 read

1563 read

1566 add 0

859 read

812 read

1569 read

1572 add 4

862 read

815 read

1575 read

1578 read

865 read

818 read

1581 read

1584 read

868 read

821 read

1587 read

1590 read

871 read

824 read

1593 read

1596 read

874 read

827 read

1599 add 2

1602 read

877 add 0

830 read

1605 add 2

1608 add 1

880 read

833 read

1611 add 2

1614 add 4

883 read

836 add 4

1617 read

1620 read

886 read

839 read

1623 read

1626 add 3

889 add 4

842 add 0

1629 add 3

1632 read

892 add 0

845 add 2

1635 read

1638 read

895 read

848 read

1641 read

1644 add 0

898 read

851 add 4

1647 add 2

1650 read

901 add 2

854 add 1

1653 read

1656 read

904 read

857 read

1659 read

1662 read

907 read

860 read

1665 read

1668 read

910 read

863 add 2

1671 add 3

1674 add 4

913 read

866 read

1677 add 2

1680 add 1

916 read

869 read

1683 read

1686 add 3

919 read

872 read

1689 read

1692 add 0

922 read

875 read

1695 add 1

1698 read

925 read

878 add 0

1701 add 3

1704 add 0

928 add 0

881 add 2

1707 read

1710 read

931 read

884 add 4

1713 add 2

1716 add 3

934 read

887 read

1719 add 3

1722 read

937 add 0

890 read

1725 read

1728 add 2

940 read

893 read

1731 read

1734 read

943 add 1

896 read

1737 read

1740 read

946 read

899 read

1743 add 2

1746 add 1

949 read

902 add 3

1749 add 3

1752 read

952 add 3

905 read

1755 read

1758 read

955 read

908 add 1

1761 read

1764 read

958 add 3

911 add 4

1767 add 2

1770 read

961 read

914 read

1773 add 3

1776 read

964 add 1

917 read

1779 read

1782 add 1

967 read

920 read

1785 read

1788 add 4

970 add 1

923 read

1791 add 2

1794 read

973 read

926 add 0

1797 read

1800 read

976 read

929 add 3

1803 read

1806 add 4

979 read

932 read

1809 add 3

1812 read

982 read

935 read

1815 add 2

1818 add 0

985 read

938 read

1821 read

1824 add 1

988 add 0

941 add 2

1827 add 1

1830 add 3

991 read

944 read

1833 add 3

1836 add 2

994 read

947 add 1

1839 read

1842 add 4

997 read

950 add 3

1845 read

1848 add 1

1000 read

953 read

1851 read

1854 read

1003 add 2

956 add 2

1857 read

1860 read

1006 add 1

959 add 0

1863 add 2

1866 read

1009 add 1

962 read

1869 read

1872 read

1012 read

965 read

1875 read

1015 read

1018 read

968 read

1878 read

1881 read

1021 add 0

971 read

1884 read

1887 read

1024 read

974 add 1

1890 read

1893 read

1027 add 3

977 read

1896 add 1

1899 read

1030 add 0

980 add 2

1902 add 0

1905 read

1033 read

983 add 1

1908 add 3

1036 read

1039 read

986 read

1911 add 1

1042 read

1045 read

989 read

1914 read

1917 read

1048 add 3

992 read

1920 read

1923 read

1051 read

995 read

1926 read

1929 add 0

1054 add 2

998 read

1932 read

1935 read

1057 read

1001 add 4

1938 read

1941 add 2

1060 read

1004 read

1944 read

1947 read

1063 read

1007 read

1950 add 3

1953 read

1066 read

1010 read

1956 read

1959 read

1069 read

1013 add 0

1962 read

1965 read

1072 read

1016 add 0

1968 add 2

1971 read

1075 read

1019 read

1974 read

1977 add 3

1078 read

1022 read

1980 read

1983 add 1

1081 read

1025 read

1986 read

1989 read

1084 add 3

1028 read

1992 read

1995 read

1087 read

1031 read

1998 read

2001 read

1090 read

1034 read

2004 read

2007 add 2

1093 add 1

1037 read

2010 read

2013 read

1096 add 3

1040 read

2016 read

2019 read

1099 read

1043 read

2022 read

2025 read

1102 read

1046 add 1

2028 add 1

2031 read

1105 add 0

1049 read

2034 read

2037 read

1108 add 4

1052 add 1

2040 read

2043 read

1111 read

1055 add 3

2046 read

2049 add 2

1114 read

1058 add 4

2052 read

2055 read

1117 read

1061 add 0

2058 read

2061 add 4

1120 add 3

1064 read

2064 read

2067 add 1

1123 read

1067 read

2070 read

2073 read

1126 add 2

1070 add 3

2076 read

2079 add 2

1129 read

1073 read

2082 read

2085 read

1132 read

1076 read

2088 read

2091 read

1135 add 0

1079 read

2094 read

2097 read

1138 add 0

1082 read

2100 read

2103 read

1141 read

1085 read

2106 read

1144 read

1147 read

1088 add 0

2109 read

2112 read

1150 read

1091 read

2115 read

2118 read

1153 add 4

1094 read

2121 add 3

2124 read

1156 read

1097 read

2127 add 3

2130 read

1159 read

1100 add 1

2133 add 1

1162 read

1103 add 4

1165 add 2

2136 add 3

2139 read

1168 read

1106 read

2142 add 0

2145 read

1171 add 1

1109 read

2148 read

2151 read

1174 read

1112 read

2154 read

2157 add 4

1177 read

1115 read

2160 read

2163 read

1180 read

1118 read

2166 read

2169 read

1183 add 3

1121 add 1

2172 add 4

2175 read

1186 add 0

1124 read

2178 read

2181 add 1

1189 read

1127 add 3

2184 add 2

2187 read

1192 add 1

1130 read

2190 add 1

2193 read

1195 read

1133 read

2196 read

2199 add 3

1198 read

1136 add 3

2202 add 0

2205 read

1201 read

1139 add 1

2208 read

2211 read

1204 add 1

1142 read

2214 read

2217 add 2

1207 add 2

1145 read

2220 read

2223 add 3

1210 read

1148 add 2

2226 read

2229 read

1213 add 1

1151 read

2232 read

2235 add 2

1216 read

1154 read

2238 add 1

2241 read

1219 add 1

1157 add 3

2244 read

2247 read

1222 add 0

1160 read

2250 read

2253 read

1225 read

1163 read

2256 read

2259 read

1228 add 1

1166 read

2262 read

2265 read

1231 read

1169 read

2268 read

2271 read

1234 read

1172 read

2274 read

2277 read

1237 add 4

1175 read

2280 add 2

2283 read

1240 read

1178 read

2286 read

1243 read

1246 read

1181 read

2289 read

2292 read

1249 add 3

1184 add 4

2295 read

2298 add 2

1252 read

1187 add 1

2301 add 4

2304 read

1255 read

1190 read

2307 read

2310 add 3

1258 read

1193 read

2313 read

2316 read

1261 read

1196 add 1

2319 read

2322 read

1264 read

1199 read

2325 read

2328 add 3

1267 read

1202 read

2331 add 4

2334 read

1270 add 3

1205 add 2

2337 read

2340 read

1273 read

1208 add 4

2343 read

2346 add 2

1276 read

1211 read

2349 add 0

2352 read

1279 add 4

1214 read

2355 read

2358 read

1282 read

1217 read

2361 read

2364 add 1

1285 read

1220 read

2367 read

2370 add 4

1288 read

1223 read

2373 read

2376 read

1291 read

1226 read

2379 add 0

2382 read

1294 add 4

1229 read

2385 read

2388 read

1297 read

1232 read

2391 read

2394 read

1300 add 4

1235 add 3

2397 read

2400 read

1303 read

1238 read

2403 add 4

2406 read

1306 read

1241 read

2409 read

2412 read

1309 read

1244 read

2415 read

2418 read

1312 read

1247 read

2421 read

2424 read

1315 read

1250 add 4

2427 read

2430 read

1318 read

1253 read

2433 add 3

2436 read

1321 read

1256 add 2

2439 read

2442 read

1324 read

1259 read

2445 add 4

2448 add 2

1327 read

1262 add 1

2451 read

2454 read

1330 add 0

1265 read

2457 read

2460 read

1333 read

1268 read

2463 add 2

2466 read

1336 read

1271 add 4

2469 read

2472 read

1339 add 1

1274 read

2475 read

1342 read

1345 read

:nemesis stop-partition

:nemesis stop-partition

2478 read

1348 read

1277 read